#ifndef	SYSCALL_H
#define	SYSCALL_H

#define	XT_SYSCALL_NUM					0x80

#define	XT_SYSCALL_TASKSWITCH_FUNCNUM	0

#endif

